Probabilistic Model Checking of the One-Dimensional Ising Model
نویسندگان
چکیده
منابع مشابه
Probabilistic Model Checking of the One-Dimensional Ising Model
Probabilistic model checking is an emerging verification technology for probabilistic analysis. Its use has been started not only in computer science but also in interdisciplinary fields. In this paper, we show that probabilistic model checking allows one to analyze the magnetic behaviors of the one-dimensional Ising model, which describes physical phenomena of magnets. The Ising model consists...
متن کاملModel Checking One-Dimensional Cellular Automata
We show that the first order theory of a one-dimensional cellular automaton, construed as a structure with the global map and equality, is decidable. The argument employs bi-infinite versions of Büchi automata that can also be used to demonstrate that the spectra of cellular automata on finite grids are regular. For existential properties our method can be used to produce witnesses.
متن کاملTapping Thermodynamics of the One Dimensional Ising Model
We analyse the steady state regime of a one dimensional Ising model under a tapping dynamics recently introduced by analogy with the dynamics of mechanically perturbed granular media. The idea that the steady state regime may be described by a flat measure over metastable states of fixed energy is tested by comparing various steady state time averaged quantities in extensive numerical simulatio...
متن کاملthe use of appropriate madm model for ranking the vendors of mci equipments using fuzzy approach
abstract nowadays, the science of decision making has been paid to more attention due to the complexity of the problems of suppliers selection. as known, one of the efficient tools in economic and human resources development is the extension of communication networks in developing countries. so, the proper selection of suppliers of tc equipments is of concern very much. in this study, a ...
15 صفحه اولThe one-dimensional Ising model: Mutation versus recombination
The investigation of genetic and evolutionary algorithms on Ising model problems gives much insight into how these algorithms work as adaptation schemes. The onedimensional Ising model with periodic boundary conditions has been considered as a typical example with a clear building block structure suited well for two-point crossover. It has been claimed that GAs based on recombination and approp...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEICE Transactions on Information and Systems
سال: 2009
ISSN: 0916-8532,1745-1361
DOI: 10.1587/transinf.e92.d.1003